\select@language {english}
\contentsline {chapter}{\numberline {1}Introduction}{3}{chapter.1}
\contentsline {section}{\numberline {1.1}Purpose}{3}{section.1.1}
\contentsline {section}{\numberline {1.2}Scope}{3}{section.1.2}
\contentsline {section}{\numberline {1.3}Definitions, acronyms, and abbreviations}{3}{section.1.3}
\contentsline {section}{\numberline {1.4}Overview}{5}{section.1.4}
\contentsline {chapter}{\numberline {2}Overall Description}{6}{chapter.2}
\contentsline {section}{\numberline {2.1}Product perspective}{6}{section.2.1}
\contentsline {section}{\numberline {2.2}Product functions}{6}{section.2.2}
\contentsline {section}{\numberline {2.3}User characteristics}{9}{section.2.3}
\contentsline {section}{\numberline {2.4}Constraints}{9}{section.2.4}
\contentsline {chapter}{\numberline {3}Specific Requirements}{10}{chapter.3}
\contentsline {section}{\numberline {3.1}Functional Requirements}{10}{section.3.1}
\contentsline {subsection}{\numberline {3.1.1}Basic Functionalities}{11}{subsection.3.1.1}
\contentsline {subsection}{\numberline {3.1.2}Simple Functionalists}{22}{subsection.3.1.2}
\contentsline {subsection}{\numberline {3.1.3}Advanced Fuctionalities}{30}{subsection.3.1.3}
\contentsline {subsection}{\numberline {3.1.4}System and Amministration Functionalities}{37}{subsection.3.1.4}
\contentsline {section}{\numberline {3.2}Performance Requirements}{48}{section.3.2}
\contentsline {section}{\numberline {3.3}Design Constraints}{48}{section.3.3}
\contentsline {subsection}{\numberline {3.3.1}Standard Compliance}{48}{subsection.3.3.1}
\contentsline {section}{\numberline {3.4}Software System Attributes}{49}{section.3.4}
\contentsline {subsection}{\numberline {3.4.1}Reliability}{49}{subsection.3.4.1}
\contentsline {subsection}{\numberline {3.4.2}Availability}{49}{subsection.3.4.2}
\contentsline {subsection}{\numberline {3.4.3}Security}{49}{subsection.3.4.3}
\contentsline {subsection}{\numberline {3.4.4}Maintainability}{49}{subsection.3.4.4}
\contentsline {subsection}{\numberline {3.4.5}Portability}{50}{subsection.3.4.5}
\contentsline {chapter}{\numberline {A}Formal Analysis}{51}{appendix.A}
\contentsline {section}{\numberline {A.1}Introduction}{51}{section.A.1}
\contentsline {section}{\numberline {A.2}Model Description}{52}{section.A.2}
\contentsline {section}{\numberline {A.3}Alloy Code}{53}{section.A.3}
\contentsline {section}{\numberline {A.4}Analysis Result}{69}{section.A.4}
